(set-logic QF_LIA)
(declare-fun v16 () Bool)
(declare-fun i0 () Int)
(declare-fun i9 () Int)
(assert v16)
(push 1)
(assert (not v16))
(check-sat)
(assert (= 0 i0))
(check-sat)
(push 1)
(check-sat)
(pop 1)
(check-sat)
(pop 1)
(check-sat)
(check-sat)
(check-sat)
(check-sat)
(check-sat)
(check-sat)
(check-sat)
(check-sat)
(check-sat)
(check-sat)
(check-sat)
(assert (not (= i9 i0)))
(check-sat)
